Perspectives of System Informatics by Nikolaj Bjørner & Irina Virbitskaite & Andrei Voronkov

Author:Nikolaj Bjørner & Irina Virbitskaite & Andrei Voronkov
Language: eng
Format: epub
ISBN: 9783030374877
Publisher: Springer International Publishing

(2)

The behaviour of the bouncing ball is described with the help of a new kind of variables, called continuous variables. For example, variable x is always a non-negative number and encodes the ball’s position and variable v encodes velocity, which can be both positive (going up) or negative (going down). The constant g is the gravitation acceleration and greater 0. The constant c is the damping coefficient, a number between 0 and 1.

Fig. 1.Sample trajectory of a bouncing ball

(Source: [13, p. 98])

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.